SCADE基本模块由SCADE Advanced Modeler(SCADE高级建模器)以及SCADE KCG(代码生成器)组成。其中SCADE Advanced Modeler包含以下5个模块:
Ø SCADE Editor
Ø SCADE Simulator
Ø SCADE SSM Editor
Ø SCADE SSM Simulator
Ø SCADE Configuration Management Gateway
n SCADE Editor & SSM Editor(数据流及状态机建模模块)
该模块主要有如下两个功能:
Ø 根据需求建立模型
该模块可以根据需求,运用数据流图和状态机来建立模型,数据流图特别适合于连续系统的建模,状态机则适合于离散系统的建模。这两套开发机制可以混合使用,适合于不同类型的系统尤其是混合系统的开发。
SCADE提供的这两套建模机制都建立在严格的数学模型基础之上,具有严格的数学语义,它们保证了设计模型的精确性、完整性、一致性和无二义性。SCADE模型就是需求的一种明确、无歧义的表达方式。因此,它可以作为一种良好的介质来实现不同项目组、制造商与供应商之间的需求交流。
Ø 检查模型的合法性
建立模型后,该模块还可以静态检查模型的合法性,帮助我们在开发的早期就排除模型中的错误。通过这一检查,主要保证模型的一致性(如数据流的平衡和匹配等)和完整性(所有输出和操作都已经明确定义等)。
n SCADE Simulator & SSM Simulator(数据流及状态机仿真模块)
建模完成后,可以对整个系统模型或是系统中任意粒度的子模型进行模拟仿真。仿真主要是通过动态地运行模型,来保证模型功能的正确性。
SCADE仿真器提供了强大的可视化的图形调试功能,可以设置断言、断点、中断条件;检查输入数据、局部变量和输出数据的值;保存和回放仿真场景(scenario);支持脚本编程生成仿真驱动用例;还可以用文本或图表的形式记录仿真过程中各输入输出值。
此外,它还提供了Double Simulation功能,满足了定点运算时定点与浮点模型比较、增量开发时不同版本比较等同时模拟仿真两个模型的需求。
n SCADE Configuration Management Gateway(与配置管理工具的桥接)
SCADE以ASCII格式保存所有数据,并支持SCCI标准的配置管理界面。因此,SCADE可以很方便地与所有支持SCCI标准的配置管理工具进行桥接,如Telelogic Synergy,MERANT PVCS,Rational Clearcase以及CVS等等。
我们已经在SCADE环境里集成了常用的版本管理命令,如Check in,Check out等等。在使用SCADE进行设计时,我们可以直接在SCADE界面中方便地实现这些操作,而不需要启动复杂的配置管理工具来进行配置管理。
|